Новая философская энциклопедия - абдукция

Следовательно, гипотезы из Я правдоподобны. Для последовательного осуществления и усиления этой идеи потребовалось формализовать как процедуру выдвижения гипотез из Н, так и отношение «Я объясняет >». Кроме того, необходимо было конструктивно задать процедуру оценки правдоподобия гипотез, порожденных посредством индукции на основе фактов из D.

В ряде работ по автоматизированным правдоподобным рассуждениям было установлено, что формализация абдукции как конструктивной аргументации возможна посредством взаимодействия последней с индукцией и аналогией, причем аргументы порождаются посредством индукции, предсказания посредством аналогии, а принятие гипотез осуществляется с помощью абдукции. Для этого уточнения абдукции (в смысле Ч. С. Пирса) используются многозначные логики.  В работах по искусственному интеллекту широко распространена следующая формализация абдукции средствами двузначной логики предикатов первого порядка: Пусть D— множество наблюдаемых фактов. Т— некоторая заданная теория. Я— множество гипотез. Тогда множество высказываний E называется абдуктивным объяснением D, если и только если для него выполняются следующие условия: (1) E содержится в Я, (2) из объединения Т и E выводится D, (3) Т и E— непротиворечивы.

Задача получения абдуктивного объяснения сводится к нахождению E. Указанная выше формализация абдуктивного объяснения не является достаточно глубокой имитацией идеи Ч. С. Пирса об абдукции как познавательной процедуре, присущей творческой активности человека. Имеются интересные связи между абдукцией и немонотонными рассуждениями, а также формализациями диагностических процедур, представленных в системах искусственного интеллекта.

Лит.: Финн В. К. Синтез познавательных процедур и проблема индукции.—«Научно-техническая информация», сер. 2, № 1—2, 1998, с. 3-52; BurksA. W. Peirces Theory of Abduction.«Philosophy f Science», 1946, vol. 13, N 4, p. 301-306; Peirce С. S. Philosophical writings. N. Y., 1955; Fann K. T. Peirces Theory of Abduction, The Hague Stanford. Martinas Nijhoff, 1970; Rescher N. Peirces Philosophy f Science. Notre Dame—L., 1978; Peng Y., Reggia J. A. Abductive Inference Models for Diagnostic Problem-Solving. N. Y.—B.—HdIb., 1990; Brewka G., Dix J., Konolige K. Nonmonotonic Reasoning. Stanford, 1997.

В. К. Финн